formal denotation
英 [ˈfɔːml ˌdiːnəʊˈteɪʃn]
美 [ˈfɔːrml ˌdiːnoʊˈteɪʃn]
形式标志
双语例句
- The formal semantics of RT-Z, based on the denotation semantics of Z and timed CSP, is a prerequisite for preciseness and mathematical rigour.
RT-Z的语义基于Z和TimedCSP，这是它具有正确性和数学严格性的基础。 - A well-formed derivation set is a formal denotation of a partial SLD-tree.
语义域是collection的构成的完备格，collection是将目标映射到合式推导集合的部分函数，可以看作是一个目标在推导过程中得到的部分SLD树。